On the Completeness of Spider Diagrams Augmented with Constants
نویسندگان
چکیده
Diagrammatic reasoning can be described formally by a number of diagrammatic logics; spider diagrams are one of these, and are used for expressing logical statements about set membership and containment. Here, existing work on spider diagrams is extended to include constant spiders that represent specific individuals. We give a formal syntax and semantics for the extended diagram language before introducing a collection of reasoning rules encapsulating logical equivalence and logical consequence. We prove that the resulting logic is sound, complete and decidable.
منابع مشابه
Spider Diagrams Augmented with Constants: A Complete System
The use of visual languages in computing is varied, ranging from system modelling to the display of data analyzed in computation processes. A prominent example of a visual notation is the Unified Modelling Language (UML), designed for use by software engineers. Constraint diagrams were proposed as an alternative to the UML’s Object Constraint Language. Spider diagrams form a fragment of constra...
متن کاملSpider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been established, including their soundness, completeness and expressiveness. Recent work has established various relationships between spider diagrams and regular languages, which highlighted various classes of languages ...
متن کاملCompleteness Proof Strategies for Euler Diagram Logics
Visual logics based on Euler diagrams have recently been developed, including generalized constraint diagrams and concept diagrams. Establishing the metatheories of these logics includes providing completeness proofs where possible. Completeness has been established for such logics, including Euler diagrams, spider diagrams and a fragment of the constraint diagram logic. In this paper, we ident...
متن کاملThe Mathematics of Diagrammatic Logical Systems
The focus of my PhD was on spider diagrams and constraint diagrams. Constraint diagrams are a visual language for expressing logical statements. The spider diagram language forms a fragment of the constraint diagram language. I developed two diagrammatic reasoning systems. The first of these, based on spider diagrams, directly extends previous work. The second system is based on the more expres...
متن کاملA Sound and Complete Diagrammatic Reasoning System
Simple spider diagrams are a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They extend the systems of Venn-Peirce diagrams investigated by Shin to include lower bounds for the cardinalities of the sets represented by the diagrams. This paper summarises the main syntax and semantics of simple spider diagrams and ...
متن کامل